lambda operator - definição. O que é lambda operator. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é lambda operator - definição

SERIES OF JAPANESE ROCKETS
Lambda 4-S; Lambda (rocket); Lambda-4
  • Lambda 4S (replica) and the launcher as exhibited at [[National Museum of Nature and Science]].

Gnome Lambda         
  • Oberursel U.III, a copy of the 14-cylinder Gnome Lambda-Lambda
  • reason=The [[Sopwith Tabloid]] article says it was produced only with Monospaupe engines. Is Lambda an alternate name for these? Or maybe it is a customization specific only to this replica?}} engine.
ROTARY PISTON AIRCRAFT ENGINE
Gnome Lambda-Lambda; Gnome 7 Lambda; Gnome 14 Lambda-Lambda.; Oberursel U.0; Oberursel U.III; Gnome 14 Lambda-Lambda; Gnome Lambda Lambda; Gnome Λ80 Lambda; Gnome ΛΛ160 Lambda-Lambda; Gnôme 14 Lambda-Lambda; Motorenfabrik Oberursel U.0
The Gnome 7 Lambda was a French designed, seven-cylinder, air-cooled rotary aero engine that was produced under license in Britain and Germany. Powering several World War I-era aircraft types it was claimed to produce from its capacity of although recorded figures are lower.
beta conversion         
FORMAL SYSTEM IN MATHEMATICAL LOGIC
Lamda calculus; Lambda-calculus; Lambda abstraction; Lambda-definable function; Lambda-definable functions; Lambda calculas; Beta reduction; Alpha conversion; Lambda-recursive function; Lambda programming; Eta reduction; Lambda Calculus; Untyped lambda calculus; Λ-calculus; Alpha equivalence; Eta expansion; Abstraction operator; Alpha reduction; Beta substitution; Beta conversion; Α conversion; Λ calculus; Β-reduction; B-reduction; L-calculus; L calculus; A conversion; Beta-reduction; Λa-calculus; Lanbda-calculus; Lambda kalkül; Alpha renaming; Lambda calculi; Λ-abstraction; AlphaRenaming; Α-conversion; Capture-avoiding substitution; Lambda term; Lamda expression; Alpha-renaming; Alpha-conversion; Eta conversion; Eta-conversion; Η-conversion; Η conversion; Lambda language; Type-free lambda calculus; Typefree lambda calculus; Type free lambda calculus; Eta-reduction; Functional abstraction; Λx; Λy; Λz; Anonymous function abstraction; Lambda-calculi; Lambda-term bound variables; Lambda terms; Alpha equivalent
<theory> A term from lambda-calculus for beta reduction or beta abstraction. (1999-01-15)
Lambda calculus         
FORMAL SYSTEM IN MATHEMATICAL LOGIC
Lamda calculus; Lambda-calculus; Lambda abstraction; Lambda-definable function; Lambda-definable functions; Lambda calculas; Beta reduction; Alpha conversion; Lambda-recursive function; Lambda programming; Eta reduction; Lambda Calculus; Untyped lambda calculus; Λ-calculus; Alpha equivalence; Eta expansion; Abstraction operator; Alpha reduction; Beta substitution; Beta conversion; Α conversion; Λ calculus; Β-reduction; B-reduction; L-calculus; L calculus; A conversion; Beta-reduction; Λa-calculus; Lanbda-calculus; Lambda kalkül; Alpha renaming; Lambda calculi; Λ-abstraction; AlphaRenaming; Α-conversion; Capture-avoiding substitution; Lambda term; Lamda expression; Alpha-renaming; Alpha-conversion; Eta conversion; Eta-conversion; Η-conversion; Η conversion; Lambda language; Type-free lambda calculus; Typefree lambda calculus; Type free lambda calculus; Eta-reduction; Functional abstraction; Λx; Λy; Λz; Anonymous function abstraction; Lambda-calculi; Lambda-term bound variables; Lambda terms; Alpha equivalent
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine.

Wikipédia

Lambda (rocket family)

Lambda is the name of a series of Japanese carrier rockets. It consisted of the types Lambda 2, LS-A, LSC-3, Lambda 3, Lambda 4 and LS-C, developed jointly by Institute of Industrial Science of University of Tokyo, Institute of Space and Astronautical Science of Tokyo University, and Prince Motor Company, which merged with Nissan in 1966.

On February 11, 1970, the first Japanese satellite Ohsumi was launched using a Lambda 4 rocket.

Lambda series rockets did not have guidance systems, as they had the potential to be converted for offensive military use, thus interpreted as a violation of Article 9 of the Japanese Constitution. However, future Japanese launch vehicles, such as the H-II, were allowed to have guidance systems.

The Lambda 4 was launched nine times, though five were failures. The first launch of the Lambda 4S rocket took place on September 26, 1966, from Kagoshima. A fourth-stage attitude control failed resulting in loss of the vehicle and payload. The last launch date was September 1, 1974.